English logical processing: translation to other languages